A simple abstraction for complex concurrent indexes
نویسندگان
چکیده
منابع مشابه
The Clusteron: Toward a Simple Abstraction for a Complex Neuron
Are single neocortical neurons as powerful as multi-layered networks? A recent compartmental modeling study has shown that voltage-dependent membrane nonlinearities present in a complex dendritic tree can provide a virtual layer of local nonlinear processing elements between synaptic inputs and the final output at the cell body, analogous to a hidden layer in a multi-layer network. In this pape...
متن کاملAbstraction for Concurrent Objects
ion for Concurrent Objects Ivana Filipović, Peter O’Hearn, Noam Rinetzky1, Hongseok Yang Queen Mary University of London, UK
متن کاملReasoning about Concurrent Indexes
Index data structures such as B+ trees and hash tables are used widely as the core of databases andfile systems. In a world where concurrent systems are common as servers and largely increasing aspersonal computers, we need a way to make sure concurrent implementations do not contain bugs.We use the fact that multiple implementations share a common high-level specification and use<l...
متن کاملCompositional Abstraction for Concurrent Programs
We present a methodology for automatically constructing an abstraction of concurrent programs against safety specifications based on finite state machine. And then automatically extract an initial abstract model from source code using predicate abstraction and theorem proving. However, the process of extracting a finite model from a program using predicate abstraction can be exponential in the ...
متن کاملA Simple Abstraction for Data Modeling
The problems that scientists face in creating well designed databases intersect with the concerns of data curation. Entity-relationship modeling and its variants have been the basis of most relational data modeling for decades. However, these abstractions and the relational model itself are intricate and have proved not to be very accessible among scientists with limited resources for data mana...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2011
ISSN: 0362-1340,1558-1160
DOI: 10.1145/2076021.2048131